Formal Verification of Control Modules in Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
Formal Verification of Transportation Cyber Physical Systems
ion is the process of simplifying a simulation model to a more abstract (for example, reduced order) model for use in verification and other analysis. Performing automated model abstraction of large high-dimensional hybrid systems, and characterizing and quantifying the approximation and/or the abstraction function used to create the simpler model are challenging technical tasks. The abstract f...
متن کاملFormal Verification of Stability Properties of Cyber-physical Systems
We increasingly rely on computers to interact with the physical world for us. At the large end, software underlies the control systems of commercial aircraft and power plants, and at the small end it controls medical devices and hobbyist UAVs. The failure of any of these systems can have severe consequences which are often measured in the loss of human lives. Formal verification has proven a pr...
متن کاملFormal Verification of Cyber-Physical Systems: Coping with Continuous Elements
The formal verification of cyber-physical systems is a challenging task mainly because of the involvement of various factors of continuous nature, such as the analog components or the surrounding environment. Traditional verification methods, such as model checking or automated theorem proving, usually deal with these continuous aspects by using abstracted discrete models. This fact makes cyber...
متن کاملFormal Synthesis and Data-Driven Verification of Cyber-Physical Systems
OF THE DISSERTATION Formal Synthesis and Data-Driven Verification of Cyber-Physical Systems
متن کاملFormal Synthesis of Cyber-Physical Systems
This report documents the program and the outcomes of Dagstuhl Seminar 17201 “Formal Synthesis of Cyber-Physical Systems.” Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and fr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sensors
سال: 2020
ISSN: 1424-8220
DOI: 10.3390/s20185154